<html>
<head><meta charset="utf-8"><title>I-prioritize #73431 ICE: MIR const-checker found novel struc · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html">I-prioritize #73431 ICE: MIR const-checker found novel struc</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="201119150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/201119150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#201119150">(Jun 17 2020 at 09:36)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/73431">#73431</a> has been requested for prioritization.</p>



<a name="201119976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/201119976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#201119976">(Jun 17 2020 at 09:46)</a>:</h4>
<p>structural match is horrible <span aria-label="oh no" class="emoji emoji-1f615" role="img" title="oh no">:oh_no:</span> Probably <code>P-critical</code>? We really shouldn't let this get to stable</p>



<a name="201119981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/201119981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#201119981">(Jun 17 2020 at 09:46)</a>:</h4>
<p>will look into it</p>



<a name="201121274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/201121274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#201121274">(Jun 17 2020 at 09:58)</a>:</h4>
<p>looked into it, structural match is still horrible</p>



<a name="201121858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/201121858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#201121858">(Jun 17 2020 at 10:04)</a>:</h4>
<p>I agree this seems like a really bad regression.</p>



<a name="201123501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/201123501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#201123501">(Jun 17 2020 at 10:22)</a>:</h4>
<p>Let’s go for <code>P-critical</code> I think</p>



<a name="201126381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/201126381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#201126381">(Jun 17 2020 at 10:58)</a>:</h4>
<p>going with p-critical</p>



<a name="201126412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2373431%20ICE%3A%20MIR%20const-checker%20found%20novel%20struc/near/201126412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2373431.20ICE.3A.20MIR.20const-checker.20found.20novel.20struc.html#201126412">(Jun 17 2020 at 10:59)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/73431">#73431</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>